Module isotope::ast [−][src]
Expand description
Convert isotope
terms to abstract syntax trees
Modules
ast | An abstract syntax tree for the textual representation of |
Structs
Annotated | An annotated term |
App | A function application |
Branch | A branch of a case expression |
Case | A case expression |
Enum | An enumeration |
FullyAnnotated | Print out all annotations for non-universe terms |
Join | A |
Lambda | A lambda function |
Let | A |
PartiallyTyped | Print out transported annotations and parameter types |
Pi | A dependent function type |
Scope | A scope |
Universe | A typing universe |
Enums
Expr | An |
Form | A reduction form |
Stmt | An |
Traits
ToAst | A term which can be convered to an AST in a given context |
ToAstCtx | A context for converting terms to ASTs |
Functions
to_raw_pretty | Convert a term to it’s un-annotated prettyprinted string |